pre, pre.highlight {
  background-color: #f2f2f2;
  padding: 1em;
}
